“求解条件”专利关键词查询_检索下载_查询列表_检索列表_行业专利分布_钻瓜专利网

钻瓜专利网为您找到相关结果847601个，建议您升级VIP下载更多相关专利

[发明专利]交互式问题求解方法及服务器及系统-CN201510648990.4在审
发明人：符红光;钟秀琴;胥亮 -专利权人：电子科技大学
申请日： 2015-10-09 - 公布日： 2016-02-03 - 主分类号： G06F17/30 文献下载
摘要：本发明实施例提供了一种交互式问题求解方法及服务器及系统，改善了现有技术中用户需手写答题，便捷性有待提高的问题。该交互式问题求解方法，包括：获得用户选择的待求解几何问题；将待求解几何问题的每个已知条件、与已知条件相关的所有求解规则，以及对各已知条件进行单步推理可直接得到的所有结论发送至用户终端；获得用户终端发送的用户选择的已知条件、求解规则和结论；判断根据用户选择的已知条件和求解规则，是否能直接得到用户选择的结论，如果是，则将选择的结论作为新增已知条件添加至待求解几何问题的已知条件中。使用该交互式问题求解方法，用户可以在平台上进行智能点选答题，使用方便、互动体验好，符合实际需求，易于推广应用。
交互式问题求解方法服务器系统

[发明专利]数据处理方法、装置、设备和存储介质-CN202210018525.2在审
发明人：钟辉强;刘亮;陈卓明 -专利权人：腾讯科技（深圳）有限公司
申请日： 2022-01-07 - 公布日： 2023-07-18 - 主分类号： G06F30/20 文献下载
摘要：本申请公开了一种数据处理方法、装置、设备和存储介质，该方法包括：分别根据第一求解约束条件求解每个次优化模型，得到N个元素被混合处理后对应的N个剩余量阈值；遍历N个元素中的第i个元素，基于当前遍历的第i个元素对应的剩余量阈值和第i个元素的当前可用量确定M个第二求解约束条件；根据第一求解约束条件、历史第二求解约束条件集和第i个元素对应的M个第二求解约束条件求解主优化模型得到M个求解结果；从第i个元素对应的M个第二求解约束条件对应的混合信息中选取目标混合信息本申请将多目标问题转化为多个单目标问题，并求解出多套满意解，能有效地提升混合效率。
数据处理方法装置设备存储介质

[发明专利]一种边界条件生成的方法和相关装置-CN202111633101.9在审
发明人：滕录葆 -专利权人：新疆金风科技股份有限公司
申请日： 2021-12-28 - 公布日： 2023-06-30 - 主分类号： G06F30/20 文献下载
摘要：本申请公开了一种边界条件生成的方法和相关装置，该方法包括：基于风资源仿真平台的设置信息，获取用于生成边界条件的通用配置参数、边界条件类型和求解器类型；通过通用配置参数、边界条件类型和求解器类型，自动生成边界条件配置文件，其文件格式是基于边界条件类型和求解器类型确定的；以边界条件配置文件结合通用配置参数对应的网格信息，自动生成网格信息对应的边界条件。在通用配置参数的基础上，增加边界条件类型和求解器类型，自动生成边界条件类型和求解器类型确定的文件格式对应的边界条件配置文件，再结合网格信息自动生成边界条件；该方式中边界条件类型和求解器类型是用户设置的，则边界条件生成方式具备可扩展性。
一种边界条件生成方法相关装置

[发明专利]条件极值计算方法、设备、存储介质及装置-CN201911299111.6在审
发明人：王防修 -专利权人：武汉轻工大学
申请日： 2019-12-13 - 公布日： 2020-04-17 - 主分类号： G06F17/15 文献下载
摘要：本发明公开了一种条件极值计算方法、设备、存储介质及装置，该方法包括：计算机获取用户端输入的待求解函数以及条件函数，所述计算机提取所述待求解函数中包含的函数变量，并根据所述函数变量以及所述条件函数查找所述待求解函数对应的条件极值计算模型，所述计算机根据所述条件极值计算模型计算所述待求解函数的条件极值；本发明通过计算机对用户端输入的待求解函数以及条件函数进行查找，获得条件极值计算模型，再根据条件极值计算模型对条件极值进行计算，从而能够通过条件极值计算器快速、准确地计算出条件极值。
条件极值计算方法设备存储介质装置

[发明专利]基于约束求解器的条件约束语句求解方法、设备和介质-CN202310920131.0有效
发明人：冀伟安;陈颖 -专利权人：北京云枢创新软件技术有限公司;上海合见工业软件集团有限公司;成都融见软件科技有限公司
申请日： 2023-07-26 - 公布日： 2023-09-29 - 主分类号： G06F30/398 文献下载
摘要：本发明涉及芯片验证技术领域，尤其涉及一种基于约束求解器的条件约束语句求解方法、设备和介质，方法包括：步骤S1、获取功能覆盖组中的交叉项的条件约束语句和对应的变量信息；步骤S2、基于交叉项的条件约束语句对应的变量信息生成每一变量的仓集合，基于每一变量的仓集合生成所述交叉项的条件约束语句对应的交叉项集合；步骤S3、将交叉项的条件约束语句转换为约束求解器能够识别的约束求解问题；步骤S4、将每一Cm和所述约束求解问题输入约束求解器中求解，若Cm中存在符合所述约束求解问题的数值，则将Cm确定为目标交叉项，否则，将C<本发明提高了功能覆盖组的交叉项的条件约束语句的求解效率。
基于约束求解条件语句方法设备介质

[发明专利]多路径求解方法及装置-CN201510504531.9有效
发明人：符红光;钟秀琴;王庆先 -专利权人：成都景弘智能科技有限公司
申请日： 2015-08-17 - 公布日： 2018-03-23 - 主分类号： G06F17/10 文献下载
摘要：本发明实施例提供了一种多路径求解方法及装置，改善了现有技术中只会给出一种求解路径，无法满足实际需求的问题。该多路径求解方法，应用于多路径求解装置，装置中预先存储有求解规则数据库，求解规则数据库中的求解规则包括平面几何的推理规则、公理、定义和定理，以及代数的基本定理和规则，方法包括多路径求解装置获得待求解几何问题中的已知条件，以及待求解几何问题需得到的结论；根据已知条件，从求解规则数据库中调用求解规则对待求解几何问题进行求解，获得根据已知条件得到结论的所有求解路径。使用该多路径求解方法，会给出多种求解路径，展示了一题多解求解过程，符合实际需求，易于推广应用。
路径求解方法装置

[发明专利]一种确定飞翼布局飞机机翼变形限制条件的方法-CN202010743822.4在审
发明人：尹钧;夏生林;黄祥;谢欢;朱婷;李伟;赵利霞;周伟 -专利权人：成都飞机工业（集团）有限责任公司
申请日： 2020-07-29 - 公布日： 2020-11-20 - 主分类号： B64F5/00 文献下载
摘要：本发明公开一种确定飞翼布局飞机机翼变形限制条件的方法，包括：刚性构型气动数据求解、弹性构型气动数据求解、变形水平与气动特性变化对应关系求解、机翼变形限制条件求解；弹性构型气动数据求解通过假设一个机翼变形量，重构飞机模型，求解气动数据；变形水平与气动特性变化对应关系求解，假设不同的变形水平，获取相应的气动特性变化量，机翼变形限制条件求解通过变形水平与气动特性变化的对应关系，结合气动特性允许变化量，求解出机翼变形允许量本发明在设计之初就可提出机翼变形限制条件，保证气动设计不偏离目标值，同时为结构设计提供参考；减少了气动‑结构设计动作的迭代次数，缩短飞机设计周期；保证飞机设计的高效、准确。
一种确定布局飞机机翼变形限制条件方法

[发明专利]一种基于河网关联矩阵的河网一维恒定流的求解方法-CN201910207996.6有效
发明人：温州;王志兴;卢玉海;朱颖斌;张勇;曹波;王党伟;郭传胜;管功勋;丁昌春;王波;王天祎;于勇军 -专利权人：黑龙江省水利水电勘测设计研究院（水利部黑龙江水利水电勘测设计研究院、黑龙江省水利水电规划院）
申请日： 2019-03-19 - 公布日： 2023-07-25 - 主分类号： G06F30/28 文献下载
摘要：本发明公开了一种基于河网关联矩阵的河网一维恒定流的求解方法，根据河网结构绘制相应的河网有向图；根据所述河网有向图构建河网关联矩阵；根据所述河网关联矩阵构造河网一维恒定流综合方程；设定河网中一个或多个出口的水位条件，将所设定的已知水位条件代入到待求解综合方程中，并将已知水位条件移至该待求解综合方程的右端，以消除该待求解综合方程系数矩阵的奇异性；再以牛顿迭代法求解拥有一个或多个出口的待求解综合方程。上述方法不仅可以更便利的设置水位边界条件，而且可以求解具有一个以上水位边界条件的河网一维恒定流。
一种基于河网关联矩阵恒定求解方法

[发明专利]一种针对联合作战计划生成的方法-CN202210339300.7在审
发明人：张侨;殷爽爽;杨理想;李千目;吴宇 -专利权人：南京理工大学
申请日： 2022-04-01 - 公布日： 2022-07-12 - 主分类号： G06F30/20 文献下载
摘要：本发明提供了一种针对联合作战计划生成的方法，包括获取求解器所需的数据，根据多目标的打击方案、装备及平台的限制条件；设置约束条件，约束条件为每一个目标选择至多一个打击方案，确定最终的联合打击方案；构建最优化目标函数，建立模型；其中最优化目标为所有联合打击方案所花费的武器价格最低的打击方案；使用ORTOOLS中带有的CP‑SAT求解器构建约束规划求解器；调用求解器进行求解，获得构建模型在约束条件下的最优解；对得到的求解模型进行测试推论，获得求解器得到的变量值和目标函数值.能够解决现有方法编码复杂且参数较难选择，导致搜索速度较慢，无法及时生成作战方案的问题。
一种针对联合作战计划生成方法

[发明专利]一种布尔可满足性问题求解方法及系统-CN202011545368.8在审
发明人：屈璋;刘美华;张岩;吕红亮;黄国勇;毕舜阳 -专利权人：国微集团（深圳）有限公司
申请日： 2020-12-23 - 公布日： 2021-03-12 - 主分类号： G06F30/32 文献下载
摘要：本发明公开了一种布尔可满足性问题求解方法及系统，所述方法包括：采用多个并行求解器在设定的阈值条件内对CNF实例进行多线程并行求解，其中，每个并行求解器采用不同的初始变元；每个并行求解器在触发阈值条件后停止求解，并记录求解过程中各个变元的活性分数；选择所述多个并行求解器得到的活性分数之和最高的变元作为主求解器的初始变元，对所述CNF实例进行求解。采用本发明的技术方案，可提高布尔可满足性问题的求解速度。
一种布尔满足问题求解方法系统

[发明专利]一种基于多维度重构校正的柔性多体机器人建模与求解方法-CN201811338110.3有效
发明人：刘凉;史晨阳;赵新华;刘童;李培鑫 -专利权人：天津理工大学
申请日： 2018-11-12 - 公布日： 2023-01-20 - 主分类号： G06F30/17 文献下载
摘要：本发明公开了一种基于多维度重构校正的柔性多体机器人建模与求解方法，该方法依次通过：分别构建刚性构件和柔性构件数学模型并设置参数、建立柔性多体机器人系统的完整约束条件、获得完整约束条件下柔性多体机器人系统的静力学方程和动力学方程，根据t时刻的已知状态参数并利用多维度重构与校正法对完整约束条件下动力学方程迭代求解得到t时刻的状态参数、以及重复迭代过程求出t+h时刻的状态参数直至算法结束；该建模与求解方法建立了完整约束条件下柔性多体机器人的正、逆动力学模型，利用多维度重构与校正算法迭代求解动力学方程，具有建模完整、求解计算规模小的特点，比传统求解方法相比更易满足收敛条件，提高了计算和求解的效率。
一种基于多维度重构校正柔性机器人建模求解方法

[发明专利]函数分支处理方法及装置-CN201710308928.X在审
发明人：符红光;钟秀琴;沈自虎 -专利权人：电子科技大学
申请日： 2017-05-04 - 公布日： 2017-08-11 - 主分类号： G06F17/15 文献下载
摘要：该方法通过获得待处理函数问题，解析所述待处理函数问题，获得其中的已知条件和待求解问题；根据所述已知条件、待求解问题，匹配所述求解规则，对所述待处理函数问题进行分支推理求解，并记录每个分支的求解过程；将所述每个分支的求解过程输出为预设格式的求解记录与现有技术相比，本发明提供的函数分支处理方法及装置，可实现对待处理函数问题的准确求解。
函数分支处理方法装置

[发明专利]一种确定飞翼布局飞机机翼变形限制条件的方法-CN202010242925.2在审
发明人：尹钧;夏生林;黄祥;谢欢;朱婷;李伟;赵利霞;周伟 -专利权人：成都飞机工业（集团）有限责任公司
申请日： 2020-03-31 - 公布日： 2020-07-10 - 主分类号： G06F30/15 文献下载
摘要：本发明提出一种确定飞翼布局飞机机翼变形限制条件的方法，步骤为，刚性构型气动数据求解，不考虑飞机的弹性变形，求解刚性飞机的气动数据；弹性构型气动数据求解，通过假设一个机翼变形量，重构飞机模型，即弹性构型，进行气动数据求解；变形水平与气动特性变化对应关系求解，通过假设不同的变形水平，获取相应的气动特性变化量，形成对应关系；机翼变形限制条件求解，通过变形水平与气动特性变化的对应关系，结合气动特性允许变化量，求解出机翼变形允许量。本发明在设计之初就提出变形限制条件，保证气动设计不偏离目标值，同时为结构设计提供参考；减少了气动‑结构设计的迭代次数，缩短飞机设计周期；使飞翼布局飞机方案设计高效、准确。
一种确定布局飞机机翼变形限制条件方法

[发明专利]知识网络构建方法及装置-CN201510649030.X有效
发明人：钟秀琴;符红光;刘永宜 -专利权人：电子科技大学
申请日： 2015-10-09 - 公布日： 2018-11-02 - 主分类号： G06N5/04 文献下载
摘要：本发明实施例提供了一种知识网络构建方法及装置，改善了现有技术中的几何求解系统无法直接展现各求解结论所采用的知识网络架构，无法形成知识网络，不能满足实际需求的问题。该知识网络构建方法，应用于知识网络构建装置，装置中预先存储有求解规则数据库，方法包括：获得待求解几何问题中的每个已知条件和需得到的每个结论；调用求解规则对待求解几何问题进行求解，直至得到待求解几何问题需得到的所有结论，根据求解路径对各结论的格式进行定义，得到获得各结论分别使用的求解规则和求解规则的名称，以及各结论分别根据的条件。使用该知识网络构建方法，可以直接体现各求解结论的知识网络架构，符合实际需求，易于推广应用。
知识网络构建方法装置

[发明专利]一种微分方程的求解方法、装置、介质及电子装置-CN202210214967.4在审
发明人：卢攀攀;李叶;窦猛汉 -专利权人：本源量子计算科技（合肥）股份有限公司
申请日： 2022-03-04 - 公布日： 2023-09-12 - 主分类号： G06F17/13 文献下载
摘要：本发明公开了一种微分方程的求解方法、装置、介质及电子装置，方法包括：获取待求解微分方程并确定微分方程的预测解，然后判断预测解是否满足计算终止条件，若是，则将当前预测解作为待求解微分方程的目标解，否则，更新微分方程的预测解，继续执行判断预测解是否满足计算终止条件的步骤，直至确定满足计算终止条件的待求解微分方程的目标解，它能够基于预测解构建损失函数并通过更新损失函数的值，实现微分方程的另一种求解方式，减少网格划分所带来的资源消耗
一种微分方程求解方法装置介质电子

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
下一页»
尾页
共 100000 条